Sources for Industrial Dome Expansion Set

Industrial dome for wargaming Part #1 (https://www.thingiverse.com/thing:1147117)
Industrial Wargaming Dome remix (https://www.thingiverse.com/thing:1561986)
